/* styles for Internet Explorer */

li#rss-button a:hover {
    filter: alpha(opacity=80);
}
.search-submit:hover {
    filter: alpha(opacity=80);
}
div#ie-deprecated {
    font-weight: bold;
    padding: 5px 15px;
    width: 640px;
    position: fixed;
    top: 0;
    color: #ff0000;
    background: #ffffff;
}
div#ie-deprecated-close {
    float: right;
}

div#ie-deprecated-close a {
    color: #000000;
}
